Nuprl Definition : es-sender
11,40
postcript
pdf
es-sender(
es
;
e
) == sender(
e
)
latex
clarification:
es-sender(
es
;
e
) == sender(es_info(
es
);
e
)
latex
Definitions
sender(
e
)
,
es_info(
es
)
FDL editor aliases
es-sender
origin